//数组后面追加一项
// type Push<T extends any[],P>=T extends [...infer R]?[...R,P]:never
type Push<T extends any[],P>=[...T,P]
type a1=Push<['ee',4,5],4>

export{}